/* tiny.c */
int main(void) { return 42; }
